% General commands
\renewcommand{\labelitemi}{$-$}

\newcommand{\comment}[1]{\marginpar{\color{red}\tiny #1}}
\newcommand{\todo}[1]{{ \color{red} Todo: #1}}
\newcommand{\norcause}[3]{[#1] ~ #2 \circleright #3}
\newcommand{\percause}[3]{[#1] ~ #2 \circledotright #3}


% Petri net
\newcommand{\Pclock}{q_c}
\newcommand{\nat}{\mathbb{N}}
\newcommand{\tuple}[1]{\langle #1 \rangle}
\newcommand{\pre}[1]{ {^{\bullet}#1}}
\newcommand{\post}[1]{#1^{\bullet}}


%Reaction systems
\newcommand{\rsd}{RSD\xspace}
\newcommand{\res}{\ensuremath{\mathcal{S}}\xspace}
\newcommand{\RS}{\ensuremath{\mathcal{R}}\xspace}
\newcommand{\dur}{\Delta\xspace}
\newcommand{\life}{\delta}

\newcommand{\birth}{\mathsf{c}}
\newcommand{\refr}{\mathsf{re}}
\newcommand{\bool}{\mathsf{v}}
